Purpose Prescription stimulant use as “cognitive enhancers” has been described among undergraduate college students. However, the use of prescription stimulants among future health care professionals is not well characterized. This study was designed to determine the prevalence of prescription stimulant misuse among students at an academic health sciences center. -/- Method Electronic surveys were e-mailed to 621 medical, pharmacy, and respiratory therapy students at East Tennessee State University for four consecutive weeks in fall 2011. Completing the survey was voluntary and (...) anonymous. Surveys asked about reasons for, frequency of, and side effects of nonprescription misuse of prescription stimulants. Given the sensitive material, an opportunity to win one of ten $50 gift cards was used as an incentive. -/- Results Three hundred seventy-two (59.9%) students completed the survey from three disciplines (47.6% medical, 70.5% pharmacy, and 57.6% respiratory therapy). Overall, 11.3% of responders admitted to misusing prescription stimulants. There was more misuse by respiratory therapy students, although this was not statistically significant (10.9% medicine, 9.7% pharmacy, 26.3% respiratory therapy; P = .087). Reasons for prescription stimulant misuse included to enhance alertness/ energy (65.9%), to improve academic performance (56.7%), to experiment (18.2%), and to use recreationally/get high (4.5%). -/- Conclusions Prescription stimulant misuse was prevalent among participating students, but further research is needed to describe prevalence among future health care workers more generally. The implications and consequences of such misuse require further study across professions with emphasis on investigating issues of academic dishonesty (e.g., “cognitive enhancement”), educational quality, and patient safety or health care quality. (shrink)

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct (...) the lattice of subvarieties lambda (Q subscript 3) of the variety Q subscript 3. (shrink)

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic. This (...) historical-critical study provides an excellent introduction to the problems of the philosophy of mathematics - problems which have wide implications for philosophy as a whole. This reissue will appeal to students of both mathematics and philosophy who wish to improve their knowledge of logic. (shrink)

Feminism was born in controversy and it continues to flourish in controversy. The distinguished contributors to this volume provide an array of perspectives on issues including: universal values, justice and care, a feminist philosophy of science, and the relationship of biology to social theory.

After describing Heidegger's critique of metaphysics as ontotheology, I unpack the metaphysical assumptions of several transhumanist philosophers. I claim that they deploy an ontology of power and that they also deploy a kind of theology, as Heidegger meant it. I also describe the way in which this metaphysics begets its own politics and ethics. In order to transcend the human condition, they must transgress the human.

Humanity does not gradually progress from combat to combat until it arrives at universal reciprocity, where the rule of law finally replaces warfare; humanity installs each of its violences in a system of rules and thus proceeds from domination to domination. (Foucault, 1984, 85)In this essay, I take a note from Michel Foucault regarding the notion of biopolitics. For Foucault, biopolitics has both repressive and constitutive properties. Foucault's claim is that with the rise of modern government, the state became exceedingly (...) concerned about the body politic, the bodies that make up the polis, including the health of those bodies. However, Giorgio Agamben claims that Foucault and all western political philosophy misses the relationship between power and Sovereignty, with disastrous results and totalizing tendencies. I explore the case of Terri Schiavo claiming that the social conservatives have attempted to politicize bare life in its legal maneuverings, but I also show how the social liberals open an uncontrollable space between life and death. Both the left and the right miss the aporia at the heart of western political philosophy, and bioethics is complicit in the totalizing effects of contemporary medicine. (shrink)

This essay places Foucault's work into a philosophical context, recognizing that Foucault is difficult to place and demonstrates that Foucault remains in the Kantian tradition of philosophy, even if he sits at the margins of that tradition. For Kant, the forms of intuition—space and time—are the a priori conditions of the possibility of human experience and knowledge. For Foucault, the a priori conditions are political space and historical time. Foucault sees political space as central to understanding both the subject and (...) objects of medicine, psychiatry, and the social sciences. Through this analysis one can see that medicine's metaphysics is a metaphysics of efficient causation, where medicine's objects are subjected to mechanisms of efficient control. (shrink)

In the mid-1970s, the biomedical model of medicine gave way to the biopsychosocial model of medicine; it was billed as a more comprehensive and compassionate model of medicine. After more than a century of disentangling medicine from religion, the medicine and spirituality movement is attempting to bring religion and spirituality back into medicine. It is doing so under a biopsychosociospiritual model. I unpack one model for allowing religion back into medicine called the RCOPE. RCOPE is an instrument designed to categorize (...) religion and spirituality as psychological coping mechanisms. I explore how such instruments are related to the history of statistical measurement and demonstrate the political impetus that governs such enterprises. The biopsychosociospiritual medicine is billed as a more holistic and comprehensive model. This new model of medicine offers total care. However, I demonstrate how this total care becomes totalizing, indeed totalitarian, admitting religion and spirituality back into the fold of medicine under a new secularized medical control. (shrink)

We isolate two abstract determinacy theorems for games of length $\omega_1$ from work of Neeman and use them to conclude, from large-cardinal assumptions and an iterability hypothesis in the region of measurable Woodin cardinals thatif the Continuum Hypothesis holds, then all games of length $\omega_1$ which are provably $\Delta_1$ -definable from a universally Baire parameter are determined;all games of length $\omega_1$ with payoff constructible relative to the play are determined; andif the Continuum Hypothesis holds, then there is a model of (...) ${\mathsf{ZFC}}$ containing all reals in which all games of length $\omega_1$ definable from real and ordinal parameters are determined. (shrink)

Takeuti introduced an infinitary proof system for determinate logic and showed that for transitive models of Zermelo-Fraenkel set theory with the Axiom of Dependent Choice that contain all reals, the cut-elimination theorem is equivalent to the Axiom of Determinacy, and in particular contradicts the Axiom of Choice. We consider variants of Takeuti's theorem without assuming the failure of the Axiom of Choice. For instance, we show that if one removes atomic formulae of infinite arity from the language of Takeuti's proof (...) system, then cut elimination is equivalent to a determinacy hypothesis provable, e.g., in ZFC + “there are infinitely many Woodin cardinals.” A slight extension of the proof system admits cut elimination for countable sequents under the same assumptions. A simple modification of the proof system yields analogs of the results above for the Axiom of Real Determinacy and uncountably many Woodin cardinals. (shrink)

In their thought-provoking article, Sedlakova and Trachsel (2023) defend the view that the status—both epistemic and ethical—of Conversational Artificial Intelligence (CAI) used in psychotherapy is complicated. While therapeutic CAI seems to be more than a mere tool implementing particular therapeutic techniques, it falls short of being a “digital therapist.” One of the main arguments supporting the latter claim is that even though “the interaction with CAI happens in the course of conversation… the conversation is profoundly different from a conversation with (...) a human therapist” (Sedlakova and Trachsel 2023, 8). In particular, unlike a human therapist, CAI cannot help its users gain new insight and self-understanding (Sedlakova and Trachsel 2023). We agree that currently available therapeutic CAI cannot be considered a “digital therapist,” however, we think that the issue surrounding the acquisition of new self-understanding in the interaction with therapeutic CAI is more complicated than Sedlakova and Trachsel suggest. (shrink)

Despite Vancil’s (1979) proclamation over twenty years ago that topoi have been abandoned in argument theory, this essay contends that topoi should have a vital role in contemporary argumentation theory. Four key areas are identified where topoi are (or can be) essential tools for argumentation: Locating argument, building argument, development of critical thinking, and argument pedagogy. As a result, teachers and students of argument can both benefit from a (re)discovery of topoi.

It is shown that the determinacy of $G_{\delta \sigma }$ games of length $\omega ^2$ is equivalent to the existence of a transitive model of ${\mathsf {KP}} + {\mathsf {AD}} + \Pi _1\textrm {-MI}_{\mathbb {R}}$ containing $\mathbb {R}$. Here, $\Pi _1\textrm {-MI}_{\mathbb {R}}$ is the axiom asserting that every monotone $\Pi _1$ operator on the real numbers has an inductive fixpoint.

We characterize the determinacy of $F_\sigma $ games of length $\omega ^2$ in terms of determinacy assertions for short games. Specifically, we show that $F_\sigma $ games of length $\omega ^2$ are determined if, and only if, there is a transitive model of ${\mathsf {KP}}+{\mathsf {AD}}$ containing $\mathbb {R}$ and reflecting $\Pi _1$ facts about the next admissible set.As a consequence, one obtains that, over the base theory ${\mathsf {KP}} + {\mathsf {DC}} + ``\mathbb {R}$ exists,” determinacy for $F_\sigma $ (...) games of length $\omega ^2$ is stronger than ${\mathsf {AD}}$, but weaker than ${\mathsf {AD}} + \Sigma _1$ -separation. (shrink)